i <= X
Y <= Z
Z <= i
j <= Y
